Atomic and Saturated Models
functor.network·2d·
Discuss: Hacker News
⚖️Inference Rules
Eclectic English Vocab
404wolf.com·4h
🔄Incremental Lexing
Training Dynamics of Parametric and In-Context Knowledge Utilization in Language Models
arxiv.org·1h
🪜Recursive Descent
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·18h·
Discuss: Hacker News
💬Interactive REPLs
Property-based testing of batch-invariant operations
mmaaz.ca·6h·
Discuss: Hacker News
🎲Property Testing
The quotation mark
lesswrong.com·6h
📚Factor
Three Meanings of "To Know"
madhadron.com·16h·
Discuss: Hacker News
📋Backus-Naur Form
Reflections on Designing a Search Autocomplete System
torontostudygroup.github.io·22h·
Discuss: DEV
🌿Trie Structures
Footnotes to a couple of weeks: Category mistakes, Dutch courtyards, Martinů
logicmatters.net·1d
🔗Category Theory
ProofOfThought: LLM-based reasoning using Z3 theorem proving
dev.to·16h·
Discuss: DEV
🧮Theorem Provers
ECS Implementation
reddit.com·20h·
Discuss: r/cpp
🤖Embedded Go
Let’s Write a Villanelle
theamericanscholar.org·1h
🔗Concatenative
Show HN: The Little Book of Maths for LLMs-The maths you need to understand LLMs
little-book-of.github.io·1d·
Discuss: Hacker News, r/LLM
🔍ML Language
An alternative to knowledge graphs for storing loosely structured content
fleetingswallow.com·15h·
Discuss: Hacker News
🌲Tree Rewriting
How Writing Leads to Thinking
pxlnv.com·2h
📝Editor Buffers
Constraint Satisfaction Approaches to Wordle: Novel Heuristics and Cross-Lexicon Validation
arxiv.org·1h
🧩Constraint Solvers
The 'Magic' of LLMs: The Function of Language
lesswrong.com·1d
🔍ML Language
Dimensional Analysis in Programming Languages (2018)
gmpreussner.com·10h·
Discuss: Hacker News
🔢Algebraic Datatypes
Self-Reflective Generation at Test Time
arxiv.org·1h
Gleam
On This Day in Math - October 6
pballew.blogspot.com·36m·
πPi Calculus